Maturation in Larch

Interpreting Syntropy in Larch

This paper presents a formal axiomatic semantics for the essential model notations of Syntropy, where an essential model provides a step towards the speci cation of an object-oriented system. Syntropy like other objectoriented development methods uses intuitive and easy to understand graphical notations for expressing the static and dynamic aspects of the model. However, Syntropy di ers from ot...

Specifying Avalon Objects in Larch

Simulating larch forests

Simulating carbon and water cycles of larch forests in East Asia by the BIOME-BGC model with AsiaFlux data M. Ueyama, K. Ichii, R. Hirata, K. Takagi, J. Asanuma, T. Machimura, Y. Nakai, T. Ohta, N. Saigusa, Y. Takahashi, and T. Hirano Osaka Prefecture Univ., Graduate School of Life and Environmental Sciences, 1-1 Gakuen-cho, Naka-ku, Sakai, Osaka, Japan Fukushima Univ., Faculty of Symbiotic Sys...

Debugging Larch Shared Language Specifications

The Larch family of specification languages supports a two-tiered definitional approach to specification. Each specification has components written in two languages: one designed for a specific programming language and another independent of any programming language. The former are called Larch interface languages, and the latter the Larch Shared Language (LSL). The Larch style of specification...

Preliminary Design of Larch/C++

We describe the problems encountered in the design of Larch/C++, especially its object-oriented features. We discuss a range of possible solutions to these problems, and give the rationale for our particular solutions. We also present examples of Larch/C++ speci cations and discuss di erences from Larch/C.